NP-Dynamic Skybridge: A Fine-Grained 3D IC Technology with NP-Dynamic Logic
نویسندگان
چکیده
منابع مشابه
Data-Driven Dynamic Logic versus NP-CMOS Logic, A Comparison
Data-Driven Dynamic Logic (D3L) is an appropriate candidate for replacing conventional dynamic logic in many cases. In our previous paper, we have shown how a D3L-based design can be used in place of a conventional Domino logic [l]. The designed circuit has been shown to have up to 30% less power dissipation compared to its Domino counterpart. This is in addition to the fact that no speed degra...
متن کاملHigh Perforamance Np Dynamic Adder Circuit with Carbon Nano Tube Technology
Low-power, compact, and highperformance NP dynamic CMOS circuits are presented in this paper assuming a 16 nm carbon nano tube transistor technology. The performances of two-stage pipeline 32-bit carry lookahead adders are evaluated based on HSPICE simulation with the following four different implementations: silicon MOSFET (Si-MOSFET) domino logic, Si-MOSFET NP dynamic CMOS, carbon nanotube MO...
متن کاملTranslating Separation Logic into Dynamic Frames Using Fine-Grained Region Logic
Several techniques have been proposed for specification and verification of frame conditions, making it difficult for specification language designers to know which to pick. Ideally there would be a single mechanism that could be used to express specifications written in all techniques. In this paper we provide a single mechanism that can be used to write specifications in the style of both sep...
متن کاملDynamic Hierarchical Undo Facility in a Fine-Grained Component Environment
The undo facility is essential for interactive application systems. In conventional object-oriented software development, undo facilities have been implemented based on undo frameworks. However, the use of undo frameworks costs a great deal in both the development and maintenance stages. In this paper, we propose a new technique by which an undo facility can easily be implemented in component-b...
متن کاملFine-grained Concurrency with Separation Logic
Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memory cells. In addition, processes can also share ownership of cells in a controlled fashion as long...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Emerging Topics in Computing
سال: 2017
ISSN: 2168-6750
DOI: 10.1109/tetc.2017.2684781